|
|
Integrace formálních technik do procesu verifikace procesoru RISC-V
Horký, Jakub ; Šnobl, Pavel (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce krátce rozebírá architekturu RISC-V a návrh procesorů a jak jednoduše může vzniknout chyba při jejich vytváření. Dále popisuji, jakým způsobem se snaží funkční verifikace tyto chyby odhalit a jaké jsou její výhody a nedostatky. Konkrétněji se zaměřím, jak vypadá verifikační prostředí podle UVM. Popisuji, jakým způsobem do funkční verifikace zapadá formální verifikace a jaké jsou dostupné nástroje pro formální verifikaci. Ke konci této práce popisuji konkrétně způsob mého postupu při psaní tvrzení (psaných v SVA jazyce) pro RISC-V procesor za použití nástroje pro formální verifikaci tvrzení. Při využití těchto tvrzení pro ověření procesoru v pozdější fázi vývoje, kdy funkční verifikace již měla možnost většinu chyb odhalit, se mi přesto podařilo několik chyb najít.
|
|
|
Sport vs. eSport: motivy sledovanosti z pohledu fanoušků
Hampel, Jiří ; Voráček, Josef (vedoucí práce) ; Jarošík, Richard (oponent)
Název: Sport vs. eSport: motivy sledovanosti z pohledu fanoušků Cíle: Hlavním cílem této bakalářské práce je najít společné nebo rozdílné prvky sportu a esportu, které motivují fanoušky k jeho sledování. Splnění hlavního cíle předchází výběr vhodných motivů. Následně, díky správnému a cílenému působení na jednotlivé motivy, mohou funkcionáři a jednotliví manažeři rozšiřovat a spravovat členskou základnu. Metody: Výzkum byl proveden kvantitativní metodou dotazování v elektronické podobě. Ke sběru dat byl použit elektronický dotazník, distribuovaný přes sociální sítě, díky kterému bylo možné získat odpovědi od 144 respondentů. Výzkumný vzorek byl složen z fanoušků sportu a esportu. Výsledky: Výzkum přinesl bližší pohled na motivy, které vedou fanoušky sportu a esportu k jeho sledování. Výzkum také odhalil podobnost mezi odvětvím sportu a esportu, díky kterému bude možné využít marketingové metody z oblasti sportu na nově rozvíjející se esportové prostředí. Výsledky výzkumu mohou také sloužit marketingovým specialistům, aby mohli vybrat nejpoužitelnější motivy a vytvořit cílená marketingová sdělení. Klíčová slova: fanoušek, motivy, sledování, hráč, hry, tvrzení
|
|
| |
|
|
Výživové trendy v pekařském oboru
Jandlová, Marcela
Tato bakalářská práce "Výživové trendy v pekařském oboru" zahrnuje základní zásady zdravé výživy, obsahuje problematiku výživových a zdravotních tvrzení v pekařském oboru. Informuje o současném trhu pekařských výrobků. Pekaři v dnešní době obchodních řetězců nemají lehké prosadit své výrobky na potravinářském trhu, proto krachují. Práce zahrnuje historické údaje o dostupnosti obilí a pekařských výrobků; počátek pěstování obilnin spadá do mladší doby kamenné. Práce poukazuje na tendenci návratu k tradicím. Stěžejní část práce představuje rostlinné suroviny, které mají význam pro zdraví člověka a zároveň jsou uvedeny vlastnosti těst a pekařských výrobků s přidáním těchto surovin. Konec práce obsahuje příklady směsí a pekařských výrobků s vyšším zastoupením špaldové, celozrnné a žitné mouky; u některých z příkladů jsou uvedeny nutriční hodnoty a složení.
|
host ::
RSS.